Remove Github mention from CI badges docs
authorDanilo Bargen <mail@dbrgn.ch>
Fri, 22 Sep 2017 21:11:27 +0000 (23:11 +0200)
committerDanilo Bargen <mail@dbrgn.ch>
Fri, 22 Sep 2017 21:11:27 +0000 (23:11 +0200)
commit94114d5dc77a7ef87c6d6f9236169f6a61c60c85
tree7d894d9bbbf4a0945e243c9f55597bad494f133c
parent6d2695482b9c15faaa54302fcbdbc1dd73f55e63
Remove Github mention from CI badges docs
src/doc/book/src/reference/manifest.md
src/doc/manifest.md